(assert (transaction (accountId "0id") (buyPrice 55.23) (countryCode "NU") (currentPrice 58.95) (cusip 847737565) (exchange "TWSE") (industryGroupID 2520) (industryID 252010) (issuer "CCC") (lastPrice 50.12) (sectorID 25) (shares 100) (subIndustryID 25201050) ) )
(assert (transaction (accountId "1id") (buyPrice 55.23) (countryCode "CA") (currentPrice 58.95) (cusip 847737565) (exchange "TWSE") (industryGroupID 2520) (industryID 252010) (issuer "AAA") (lastPrice 50.12) (sectorID 25) (shares 100) (subIndustryID 25201050) ) )
(assert (transaction (accountId "2id") (buyPrice 55.23) (countryCode "FR") (currentPrice 58.95) (cusip 584420736) (exchange "PSEX") (industryGroupID 2530) (industryID 253010) (issuer "GGG") (lastPrice 50.12) (sectorID 25) (shares 100) (subIndustryID 25301030) ) )
(assert (transaction (accountId "3id") (buyPrice 55.23) (countryCode "US") (currentPrice 58.95) (cusip 584420736) (exchange "TWSE") (industryGroupID 2520) (industryID 252010) (issuer "EEE") (lastPrice 50.12) (sectorID 25) (shares 100) (subIndustryID 25201040) ) )
(assert (transaction (accountId "4id") (buyPrice 55.23) (countryCode "NU") (currentPrice 58.95) (cusip 847737565) (exchange "LNSE") (industryGroupID 2530) (industryID 253010) (issuer "AAA") (lastPrice 50.12) (sectorID 25) (shares 100) (subIndustryID 25301030) ) )
